//约束数据项的类型，便于提示信息，和类型检查
export interface User {
    id: number,
    name: string,
    age: number,
    position: string,
    addTime: Date
}
